WarningOnUsage.agda:16,25-29
DEPRECATED: Use 'id' instead of 'λx→x'
when scope checking λx→x

———— All done; warnings encountered ————————————————————————

WarningOnUsage.agda:16,25-29
DEPRECATED: Use 'id' instead of 'λx→x'
when scope checking λx→x
